"Ralf Treinen" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Rewriting Techniques and Applications: 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings

Категория: Компьютеры

7.24 Mb

#2

Constraints in Computational Logics: Theory and Applications, CCL'99

Hubert Comon, Claude Marche, Ralf Treinen

Категория: Cs_Computer science, CsLn_Lecture notes

2.01 Mb

#3

Rewriting Techniques and Applications, 20 conf., RTA 2009

Категория: Cs_Computer science, CsLn_Lecture notes

4.34 Mb